If <i> F </i> has characteristic <i> p</i>, the prime subfield of <i>F</i>
is isomorphic to <i>Z<sub>p</sub></i>.<br>
If <i> F </i> has characteristic 0, the prime subfield of <i>F</i>
is isomorphic to the rational numbers.